type X = {p:T}
